what is a type variable